| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Formale Methoden für Steuerungssoftware | Vorlesung/Übung | 510423 | Di 14:30-16:00 3220|259 (×13) Mi 14:30-16:00 3220|259 (×12) | Mo 01.09.2025 | |
| Modellbasierte Softwareentwicklung | Fach-/Modulprüfung | 6 | 532109 | ||
| Software Language Engineering | Projekt | 6 | 526175 | ||
| Vorlesung/Übung | 525948 | Di 12:30-14:00 AH I (2350|028) (×13) Mi 16:30-18:00 AH IV (2354|030) (×13) Do 16:30-18:00 AH III (2350|314.1) (×11) | |||
| Software-Architekturen | Fach-/Modulprüfung | 6 | 532110 |